• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۴۸ پاسخ غیر تکراری از ۴۸ پاسخ تکراری در مدت زمان ۰,۴۲ ثانیه یافت شد.

21. Introduction to functional programming /

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Richard Bird, Philip Wadler.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Functional programming (Computer science),Programming techniques-- Applicative (functional) programming,Programmation fonctionnelle.,54.51 programming techniques.,Functional programming (Computer science),Functionele programmering.,Funktionale Programmierung,Programmation fonctionnelle (informatique)

Classification :
QA76
.
6
.
B568
1988

22. La programmation orientée objet /

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Hugues Bersini.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Object-oriented programming (Computer science),C plus-plus (langage de programmation),C-Dièse (langage de programmation),Java (langage de programmation),Programmation orientée objets (informatique)-- Manuels d'enseignement supérieur.,Programmation orientée objets (informatique)-- Problèmes et exercices.,Python (langage de programmation),UML (informatique),Programmation orientée objet (Informatique), Manuels d'enseignement supérieur.,C plus-plus (langage de programmation)-- Problèmes et exercices.,C# (Langage de programmation),C++ (Langage de programmation),C-Dièse (langage de programmation)-- Problèmes et exercices.,Java (Langage de programmation),Java (langage de programmation)-- Problèmes et exercices.,Microsoft LINQ.,Object-oriented programming (Computer science),PHP (Langage de programmation),PHP (langage de programmation)-- Problèmes et exercices.,Programmation orientée objet.,Programmation orientée objets (informatique)-- Problèmes et exercices.,Python (Langage de programmation),Python (langage de programmation)-- Problèmes et exercices.,UML (informatique)-- Problèmes et exercices.,UML (Langage de modélisation)

Classification :
QA76
.
64

23. Lisp-Stat :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Luke Tierney.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Lisp-Stat.,XLisp-Stat.,Lisp-Stat (Computer program),XLisp-Stat (Computer program),Lisp-Stat.,XLisp-Stat.,LISP (Computer program language),Mathematical statistics-- Data processing.,Object-oriented programming (Computer science),LISP (Computer program language),Mathematical Computing.,Statistics-- methods.,Architecture logicielle.,Informatique.,Langages de programmation.,LISP (Computer program language),LISP.,Lisp-Stat,Mathematical statistics-- Data processing.,Méthodes statistiques.,Object-georiënteerd programmeren.,Object-oriented programming (Computer science),Statistiek.

Classification :
QA276
.
4
.
T54
1990

24. Logics of Programs :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: by E. Clarke, D. Kozen.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science.,Logic design.,Programmation (Informatique) -- Congrès.

Classification :

25. Logics of Programs :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Dexter Kozen.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science.,Logic design.,Programmation (Informatique) -- Congrès.

Classification :

26. Managing psychological factors in information systems work :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Eugene Kaluzniacky.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer programming-- Psychological aspects.,Emotional intelligence.,Emotions.,Information Services-- organization & administration.,Mental Health.,Occupational Health.,Personality.,Social Behavior.,Intelligence émotionnelle.,Programmation (Informatique)-- Aspect psychologique.,Computer programming-- Psychological aspects.,COMPUTERS-- Interactive & Multimedia.,COMPUTERS-- Social Aspects-- Human-Computer Interaction.,Emotional intelligence.

Classification :
BF576
.
K358
2004eb

27. More programming pearls :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Jon Bentley.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer programming.,Programmation (Informatique),Aufsatzsammlung,Computer programming.,Computer software.,Programmierung

Classification :
QA76
.
6
.
B452
1988

28. Mule 2 :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Peter Delia, Antoine Borg and Ricston Ltd.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Object-oriented programming (Computer science),COMPUTERS-- Programming-- Object Oriented.,Informatique.,Object-oriented programming (Computer science),Object-oriented programming (Computer science),Object-oriented programming (Computer science),Programmation orientée objets (informatique)

Classification :
QA76
.
64
.
D45
2008

29. Object-oriented programming in C++ /

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Robert Lafore.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: C++ (Computer program language),Object-oriented programming (Computer science),C++ (Langage de programmation),Programmation orientée objet (Informatique),C++ (Computer program language),C++ (Computer program language),COMPUTERS-- Programming-- Object Oriented.,Object-oriented programming (Computer science),Object-oriented programming (Computer science)

Classification :
QA76
.
64
.
L32
2002

30. Parallel computing :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Barbara Chapman [and others].

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Parallel processing (Electronic computers), Congresses.,Parallel programming (Computer science), Congresses.,Multiprocesseurs.,Parallel processing (Electronic computers),Parallel programming (Computer science),Parallélisme (informatique),Programmation parallèle (informatique)

Classification :
QA76
.
642
.
P365
2009

31. Patterns in Java :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Mark Grand.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Java (Computer program language),Software patterns.,UML (Computer science),CD-ROM.,COMPUTER PROGRAMMING.,COMPUTER PROGRAMS.,Java (Computer program language),Java (langage de programmation),PATTERN RECOGNITION.,PROGRAMMING LANGUAGES.,Software patterns.,UML (Computer science),UML (informatique)

Classification :
QA76
.
76
.
P37
G73
1998

32. Persistent object systems :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Graham N.C. Kirby, Alan Dearle, Dag I.K. Sjøberg (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Object-oriented programming (Computer science),Object-oriented programming (Computer science) -- Congresses.,Programmation orientée objet (Informatique) -- Congrès.

Classification :
QA76
.
9
.
D3
G734
2001

33. Physics for game programmers /

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Grant Palmer.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Physics.,Video games-- Design.,Jeux d'ordinateur-- Programmation.,Mécanique-- Simulation par ordinateur.,GAMES-- Video & Electronic.,Informatique.,Physics.,SCIENCE-- Energy.,SCIENCE-- Mechanics-- General.,SCIENCE-- Physics-- General.,Video games-- Design.

Classification :
QA76
.
76
.
C672
P24
2005eb

34. Program Construction :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Friedrich L. Bauer, Manfred Broy, E.W. Dijkstra, S.L. Gerhart, D. Gries, M. Griffiths, J.V. Guttag, J.J. Horning, S.S. Owicki, C. Pair, H. Partsch, P. Pepper, M. Wirsing, H. Wössner.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science.,Programmation (Informatique)

Classification :
QA76
.
6
E358
1979

35. Programmation concurrente en Java /

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Brian Goetz ; avec la collaboration de Tim Peierls, Joshua Bloch, Joseph Bowbeer ... [et al.] ; traduction, Éric Jacoboni ; relecture technique, Éric Hébert ...

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Java (Computer program language),Parallel programming (Computer science),Threads (Computer programs),Java (langage de programmation),Programmation parallèle (informatique),Java (Langage de programmation),Programmation parallèle (Informatique),Threads (Logiciels),Fil de contrôle.,Java (Computer program language),Java (langage de programmation),Java (Langage de programmation),Parallel programming (Computer science),Programmation concurrente.,Threads (Computer programs)

Classification :
QA76
.
73
.
J38
G588
2006

36. Programming in Modula-2

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Niklaus Wirth.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Modula-2 (Computer program language),Modula-2 (Langage de programmation),Programmation (Informatique)

Classification :
QA76
.
73
.
M63
N555
1982

37. Real-time object uniform design methodology with UML /

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Bui Minh Duc.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Real-time programming.,UML (Computer science),Programmation en temps réel.,UML (Informatique),Ingénierie.,Real-time programming.,REFERENCE-- General.,UML (Computer science)

Classification :
QA76
.
54
.
B85
2007eb

38. Refinement calculus :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Ralph-Johan Back, Joakim von Wright.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Calcul infinitésimal.,Logique informatique.,Programmation (Informatique)

Classification :
QA76
.
6
R357
1998

39. Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Ecole de printemps dinformatique theorique, )0991, La Roche-Posay, France(

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Parallel processing )Electronic computers(,، Programming languages )Electronic computers(-- Semantics

Classification :
QA
76
.
58
.
E26
1990

40. Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: I. Guessarian )ed.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: ، Parallel processing )Electronic computers(,، Programming languages )Electronic computers( -- Semantics

Classification :
QA
76
.
L28
Vol
.
469
  • »
  • 3
  • 2
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival